退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种基于自动机的信息流属性验证方法
Raghavendra K. R; Barbara Sprick;
机译:基于矩阵的方法,用于验证稳定性和综合有限状态自动机的最佳稳定控制器
机译:一种基于I / O自动机的方法来验证组件兼容性:在CyCab汽车上的应用
机译:基于自动的CSCW验证方法
机译:验证Simulink Stateflow模型:定时自动机方法
机译:基于分析的验证:一种用于确保机械程序属性的面向程序员的方法。
机译:基于计算机视觉流控制方法的树脂灌注过程中复合材料拉伸性能的改善
机译:基于自动机的信息流属性验证方法
机译:基于自动机的运行程序时间属性验证
机译:基于自动机的交互式扩展有限状态机状态可达性的方法和系统
机译:制造基于硅基的基于科里莫里斯力的流量传感装置,基于科里奥利力的流动传感装置,以及用于测量流体的性质的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。